Formalizing IMO Problems and Solutions in Isabelle/HOL
نویسندگان
چکیده
منابع مشابه
Formalizing Two Problems of Realistic World-Models
An intelligent agent embedded within the real world must reason about an environment which is larger than the agent, and learn how to achieve goals in that environment. We discuss attempts to formalize two problems: one of induction, where an agent must use sensory data to infer a universe which embeds (and computes) the agent, and one of interaction, where an agent must learn to achieve comple...
متن کاملA strong convergence theorem for solutions of zero point problems and fixed point problems
Zero point problems of the sum of two monotone mappings and fixed point problems of a strictly pseudocontractive mapping are investigated. A strong convergence theorem for the common solutions of the problems is established in the framework of Hilbert spaces.
متن کاملAlgorithmic problems and solutions in
In this paper, we explore the algorithmic problems which are induced by the extension of the CSP framework, for dealing with preferences between solutions and with over-constrained problems. We show that the optimization induced problem is incredibly more diicult than the classical satisfaction problem, and that the current algorithmic methods are particularly ineecient. We try to give reasons ...
متن کاملFormalizing and Solving Information Collection Problems with Autonomous Sensor Systems
This paper addresses the problem of planning data collection missions for a set of Information Collection Systems (ICS) to respond to a set of information requests. This problem goes from the formalization of information needs to the optimization of ICS actions. After having formalized requests and decomposed them into elementary requests, the problem can be modeled with a graph characterizing ...
متن کاملRepresentation: Problems and Solutions
The current orthodoxy in cognitive science, what I describe as a commitment to deep representationalism, faces intractable problems. If we take these objections seriously, and I will argue that we should, there are two possible responses: 1. We are mistaken that representation is the locus of our cognitive capacities — we manage to be the successful cognitive agents in some other, non-represent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.328.3